Scheme theory

Results: 835



#Item
391Type theory / Racket / Type system / Type safety / Lambda calculus / Scheme / Programming language / System F / Type inference / Software engineering / Programming language theory / Computing

The Design and Implementation of Typed Scheme Sam Tobin-Hochstadt Matthias Felleisen PLT, Northeastern University

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2015-01-16 15:37:27
392Reliability engineering / Scheme / Systems engineering / Systems science / Programming language theory / Incentive / Microeconomics / Motivation

Microsoft Word - Porposed amended STPIS - September 2009.doc

Add to Reading List

Source URL: www.aer.gov.au

Language: English - Date: 2012-08-27 17:52:14
393Moduli theory / Moduli space / Geometric invariant theory / Algebraic stack / Kodaira dimension / Hilbert scheme / Compactification / Moduli scheme / Riemann surface / Algebraic geometry / Abstract algebra / Geometry

Contents Chapter 1. Introduction 1. Short history of moduli problems 2. From smooth curves to canonical models 3. From stable curves to stable varieties 4. Examples of bad moduli problems

Add to Reading List

Source URL: web.math.princeton.edu

Language: English - Date: 2010-10-14 11:18:57
394Information / Telecommunications engineering / Forward error correction / Concatenated error correction code / Low-density parity-check code / Turbo code / Reed–Solomon error correction / Noisy-channel coding theorem / Bit error rate / Error detection and correction / Coding theory / Information theory

An Efficient Scheme for Reliable Error Correction with Limited Feedback Giuseppe Caire Shlomo Shamai

Add to Reading List

Source URL: www.princeton.edu

Language: English - Date: 2005-12-05 13:26:03
395Scheme theory / Algebraic varieties / Model theory / General topology / Zariski topology / Zariski geometry / Noetherian topological space / Quasiprojective variety / Oscar Zariski / Abstract algebra / Algebraic geometry / Geometry

Zariski Geometries Geometry from the logician’s point of view Boris Zilber 20 March 2009

Add to Reading List

Source URL: people.maths.ox.ac.uk

Language: English - Date: 2009-04-06 06:28:36
396Information / Mathematics / Error detection and correction / Data compression / Wireless sensor network / Distributed source coding / Convolutional code / LZ77 and LZ78 / Distortion / Information theory / Coding theory / Mathematical analysis

ISIT2007, Nice, France, June 24 - June 29, 2007 A Universal Wyner-Ziv Scheme for Sources

Add to Reading List

Source URL: www.princeton.edu

Language: English - Date: 2008-11-03 20:02:36
397Tree / Graph / End / Vertex / Shortest path problem / Matching / Edge contraction / Distance-hereditary graph / Graph theory / Mathematics / Graph operations

IS-LABEL: an Independent-Set based Labeling Scheme for Point-to-Point Distance Querying Ada Wai-Chee Fu, Huanhuan Wu, James Cheng Raymond Chi-Wing Wong

Add to Reading List

Source URL: www.vldb.org

Language: English - Date: 2013-06-29 06:27:07
398Control theory / Discretization / Functional analysis / Applied mathematics / Rate of convergence / Differential equation / Numerical analysis / Mathematics / Mathematical analysis

Introduction A scheme for multidimensional SDEs Application to the L´ evy Libor model Jump-adapted discretization schemes for

Add to Reading List

Source URL: www.fields.utoronto.ca

Language: English - Date: 2010-06-19 11:28:36
399Auction theory / Business / Business models / Auctioneering / Auction

EDR Pilot Scheme Clarifications to Participant Handbook Issue 2 – 24 October 2014 – these changes have been included in version 2.0 of the Participant Handbook. Paragraph 2.2 (What does the application require?)

Add to Reading List

Source URL: www.gov.uk

Language: English - Date: 2014-10-27 08:06:11
400Data / Turbo code / Forward error correction / Fading / Code / Interleaving / Low-density parity-check code / Information theory / Diversity scheme / Error detection and correction / Telecommunications engineering / Information

Seventh Canadian Workshop on Information Theory June 3 – 6, 2001 Final Program • An introductory reception will be held from 6:00 – 8:00 PM on Sunday, June 3, in the Fireplace Lounge of

Add to Reading List

Source URL: www.cce.com

Language: English - Date: 2003-05-31 03:00:00
UPDATE